((v5 v1 9) (v1 v4 0) (v7 v1 5) (v3 v7 6) (v6 v7 7) (v2 v4 4) (v1 v2 7) (v7 v2 5) (v6 v4 8) (v3 v1 4) (v5 v6 3) (v2 v6 2))
55
((v4 v1))